/*
 * Licensed to the Apache Software Foundation (ASF) under one
 * or more contributor license agreements.  See the NOTICE file
 * distributed with this work for additional information
 * regarding copyright ownership.  The ASF licenses this file
 * to you under the Apache License, Version 2.0 (the
 * "License"); you may not use this file except in compliance
 * with the License.  You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

package org.apache.jena.sparql.lang.sparql_10;


import java.math.BigInteger;
import java.util.*;

import org.apache.jena.atlas.AtlasException;
import org.apache.jena.atlas.lib.EscapeStr;
import org.apache.jena.atlas.logging.Log;
import org.apache.jena.datatypes.RDFDatatype;
import org.apache.jena.datatypes.TypeMapper;
import org.apache.jena.datatypes.xsd.XSDDatatype;
import org.apache.jena.graph.Node;
import org.apache.jena.graph.NodeFactory;
import org.apache.jena.graph.TextDirection;
import org.apache.jena.graph.Triple;
import org.apache.jena.irix.IRIException;
import org.apache.jena.irix.IRIx;
import org.apache.jena.irix.RelativeIRIException;
import org.apache.jena.query.ARQ;
import org.apache.jena.query.Query;
import org.apache.jena.query.QueryParseException;
import org.apache.jena.riot.lang.extra.LangParserLib;
import org.apache.jena.riot.system.Checker;
import org.apache.jena.riot.system.ErrorHandler;
import org.apache.jena.riot.system.ErrorHandlerFactory;
import org.apache.jena.riot.system.RiotLib;
import org.apache.jena.sparql.ARQInternalErrorException;
import org.apache.jena.sparql.core.Prologue;
import org.apache.jena.sparql.core.TriplePath;
import org.apache.jena.sparql.core.Var;
import org.apache.jena.sparql.engine.binding.Binding;
import org.apache.jena.sparql.engine.binding.BindingBuilder;
import org.apache.jena.sparql.expr.*;
import org.apache.jena.sparql.graph.NodeConst;
import org.apache.jena.sparql.lang.LabelToNodeMap;
import org.apache.jena.sparql.lang.SyntaxVarScope;
import org.apache.jena.sparql.modify.UpdateSink;
import org.apache.jena.sparql.modify.request.*;
import org.apache.jena.sparql.path.P_Link;
import org.apache.jena.sparql.path.Path;
import org.apache.jena.sparql.syntax.*;
import org.apache.jena.update.Update;
import org.apache.jena.vocabulary.RDF;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;


/** Copies of classes so that the SPARQL 1.0 parser is isolated from later SPARQL parser development. */
class Legacy10 {
    /** Base class parsers, mainly SPARQL related */
    static class QueryParserBase {

        protected final Node XSD_TRUE       = NodeConst.nodeTrue;
        protected final Node XSD_FALSE      = NodeConst.nodeFalse;

        protected final Node nRDFtype       = NodeConst.nodeRDFType;

        protected final Node nRDFnil        = NodeConst.nodeNil;
        protected final Node nRDFfirst      = NodeConst.nodeFirst;
        protected final Node nRDFrest       = NodeConst.nodeRest;

        protected final Node nRDFsubject    = RDF.Nodes.subject;
        protected final Node nRDFpredicate  = RDF.Nodes.predicate;
        protected final Node nRDFobject     = RDF.Nodes.object;

        protected final Node nRDFreifies = RDF.Nodes.reifies;

        // ----
        // Graph patterns, true; in templates, false.
        private boolean bNodesAreVariables = true;
        // In DELETE, false.
        private boolean bNodesAreAllowed = true;

        // label => bNode for construct templates patterns
        final LabelToNodeMap bNodeLabels = LabelToNodeMap.createBNodeMap();

        // label => bNode (as variable) for graph patterns
        final LabelToNodeMap anonVarLabels = LabelToNodeMap.createVarMap();

        // This is the map used allocate blank node labels during parsing.
        // 1/ It is different between CONSTRUCT and the query pattern
        // 2/ Each BasicGraphPattern is a scope for blank node labels so each
        // BGP causes the map to be cleared at the start of the BGP

        protected LabelToNodeMap activeLabelMap = anonVarLabels;
        protected Set<String> previousLabels = new HashSet<>();

        // Aggregates are only allowed in places where grouping can happen.
        // e.g. SELECT clause but not a FILTER.
        private boolean allowAggregatesInExpressions = false;
        private int aggregateDepth = 0;

        // LabelToNodeMap listLabelMap = new LabelToNodeMap(true, new VarAlloc("L"));
        // ----

        public QueryParserBase() {}

        protected Prologue prologue;
        public void setPrologue(Prologue prologue) {
            this.prologue = prologue;
        }

        public Prologue getPrologue() {
            return prologue;
        }

        protected void setBase(String iriStr, int line, int column) {
            if ( isBNodeIRI(iriStr) )
                throwParseException("Blank node URI syntax used for BASE", line, column);
            iriStr = resolveIRI(iriStr, line, column);
            getPrologue().setBaseURI(iriStr);
        }

        protected void setPrefix(String prefix, String uriStr, int line, int column) {
            // Should have happen in the parser because this step is "token to prefix".
            // prefix = fixupPrefix(prefix, line, column);
            getPrologue().setPrefix(prefix, uriStr);
        }

        protected void declareVersion(String version, int line, int column) {
            getPrologue().setVersion(version);
        }

        protected void setInConstructTemplate(boolean b) {
            setBNodesAreVariables(!b);
        }

        protected boolean getBNodesAreVariables() {
            return bNodesAreVariables;
        }

        protected void setBNodesAreVariables(boolean bNodesAreVariables) {
            this.bNodesAreVariables = bNodesAreVariables;
            if ( bNodesAreVariables )
                activeLabelMap = anonVarLabels;
            else
                activeLabelMap = bNodeLabels;
        }

        protected boolean getBNodesAreAllowed() {
            return bNodesAreAllowed;
        }

        protected void setBNodesAreAllowed(boolean bNodesAreAllowed) {
            this.bNodesAreAllowed = bNodesAreAllowed;
        }

        protected boolean getAllowAggregatesInExpressions() {
            return allowAggregatesInExpressions;
        }

        protected void setAllowAggregatesInExpressions(boolean allowAggregatesInExpressions) {
            this.allowAggregatesInExpressions = allowAggregatesInExpressions;
        }

        // Tracking for nested aggregates.
        protected void startAggregate() {
            aggregateDepth++;
        }

        protected int getAggregateDepth() {
            return aggregateDepth;
        }

        protected void finishAggregate() {
            aggregateDepth--;
        }

        protected Element compressGroupOfOneGroup(ElementGroup elg) {
            // remove group of one group.
            if ( elg.size() == 1 ) {
                Element e1 = elg.get(0);
                if ( e1 instanceof ElementGroup )
                    return e1;
            }
            return elg;
        }

        protected Node createLiteralInteger(String lexicalForm) {
            return NodeFactory.createLiteralDT(lexicalForm, XSDDatatype.XSDinteger);
        }

        protected Node createLiteralDouble(String lexicalForm) {
            return NodeFactory.createLiteralDT(lexicalForm, XSDDatatype.XSDdouble);
        }

        protected Node createLiteralDecimal(String lexicalForm) {
            return NodeFactory.createLiteralDT(lexicalForm, XSDDatatype.XSDdecimal);
        }

        protected Node stripSign(Node node) {
            if ( !node.isLiteral() )
                return node;
            String lex = node.getLiteralLexicalForm();
            String lang = node.getLiteralLanguage();
            RDFDatatype dt = node.getLiteralDatatype();

            if ( !lex.startsWith("-") && !lex.startsWith("+") )
                throw new ARQInternalErrorException("Literal does not start with a sign: " + lex);

            lex = lex.substring(1);
            return NodeFactory.createLiteral(lex, lang, dt);
        }

        // Because of Java (Java strings have surrogate pairs) we only detect singleton surrogates.
        protected void checkString(String string, int line, int column) {
            // Checks for bare surrogate pairs.
            for ( int i = 0; i < string.length(); i++ ) {
                // Not "codePointAt" which does surrogate processing.
                char ch = string.charAt(i);

                // Check surrogate pairs are in pairs. Pairs are high-low.
                if ( Character.isLowSurrogate(ch) )
                    throw new QueryParseException("Bad surrogate pair (low surrogate without high surrogate)", line, column);

                if ( Character.isHighSurrogate(ch) ) {
                    i++;
                    if ( i == string.length() )
                        throw new QueryParseException("Bad surrogate pair (end of string)", line, column);
                    char ch1 = string.charAt(i);
                    if ( !Character.isLowSurrogate(ch1) ) {
                        throw new QueryParseException("Bad surrogate pair (high surrogate not followed by low surrogate)", line, column);
                    }
                }
            }
        }

        // ---- Literals
        // Strings, lang strings, dirlang strings and datatyped literals.

        protected Node createLiteralString(String lexicalForm, int line, int column) {
            return NodeFactory.createLiteralString(lexicalForm);
        }

        protected Node createLiteralDT(String lexicalForm, String datatypeURI, int line, int column) {
            // Can't have type and lang tag in parsing.
            return createLiteralAny(lexicalForm, null, null, datatypeURI, line, column);
        }

        protected Node createLiteralLang(String lexicalForm, String langTagDir, int line, int column) {
            // Can't have type and lang tag in parsing.
            return createLiteralAny(lexicalForm, langTagDir, null, null, line, column);
        }

        /**
         * Create a literal, given all possible component parts.
         */
        private Node createLiteralAny(String lexicalForm, String langTag, String textDirStr, String datatypeURI, int line, int column) {
            Node n = null;
            // Can't have type and lang tag in parsing.
            if ( datatypeURI != null ) {
                if ( langTag != null || textDirStr != null )
                    throw new ARQInternalErrorException("Datatype with lang/langDir");
                RDFDatatype dType = TypeMapper.getInstance().getSafeTypeByName(datatypeURI);
                n = NodeFactory.createLiteralDT(lexicalForm, dType);
                return n;
            }

            // datatypeURI is null
            if ( langTag == null && textDirStr == null )
                return NodeFactory.createLiteralString(lexicalForm);

             // Strip '@'
            langTag = langTag.substring(1);

            // See if we split langTag into language tag and base direction.
            String textDirStr2 = textDirStr;
            String langTag2 = langTag;
            if ( textDirStr == null ) {
                int idx = langTag.indexOf("--");
                if ( idx >= 0 ) {
                    textDirStr2 = langTag.substring(idx+2);
                    langTag2 = langTag.substring(0, idx);
                }
            }

            if ( langTag2 != null && textDirStr2 != null ) {
                if ( ! TextDirection.isValid(textDirStr2) )
                    throw new QueryParseException("Illegal base direction: '"+textDirStr2+"'", line, column);
                return NodeFactory.createLiteralDirLang(lexicalForm, langTag2, textDirStr2);
            }
            // langTag != null, textDirStr == null.
            return NodeFactory.createLiteralLang(lexicalForm, langTag2);
        }

//         protected String langFromToken(String image) {
//             int idx = image.indexOf("--");
//             if ( idx < 0 )
//                 // No direction; remove @
//                 return image.substring(1);
//             return image.substring(1, idx);
//         }
    //
//         protected String dirFromToken(String image) {
//             int idx = image.indexOf("--");
//             if ( idx < 0 )
//                 return null;
//             // Not checked for value
//             return image.substring(idx+2);
    //  }

        protected long integerValue(String s) {
            try {
                if ( s.startsWith("+") )
                    s = s.substring(1);
                if ( s.startsWith("0x") ) {
                    // Hex
                    s = s.substring(2);
                    return Long.parseLong(s, 16);
                }
                return Long.parseLong(s);
            } catch (NumberFormatException ex) {
                try {
                    // Possible too large for a long.
                    BigInteger integer = new BigInteger(s);
                    throwParseException("Number '" + s + "' is a valid number but can't not be stored in a long");
                } catch (NumberFormatException ex2) {}
                throw new QueryParseException(ex, -1, -1);
            }
        }

        protected double doubleValue(String s) {
            if ( s.startsWith("+") )
                s = s.substring(1);
            double valDouble = Double.parseDouble(s);
            return valDouble;
        }

        /** Remove first and last characters (e.g. ' or "") from a string */
        protected static String stripQuotes(String s) {
            return s.substring(1, s.length() - 1);
        }

        /** Remove first 3 and last 3 characters (e.g. ''' or """) from a string */
        protected static String stripQuotes3(String s) {
            return s.substring(3, s.length() - 3);
        }

        /** remove the first n characters from the string */
        protected static String stripChars(String s, int n) {
            return LangParserLib.stripChars(s, n);
        }

        protected Var createVariable(String s, int line, int column) {
            s = s.substring(1); // Drop the marker
            // This is done by the parser input stream nowadays.
            // s = unescapeCodePoint(s, line, column);
            // Check \ u did not put in any illegals.
            return Var.alloc(s);
        }

        protected Node createTripleTerm(Node s, Node p, Node o, int line, int column) {
            return NodeFactory.createTripleTerm(s, p, o);
        }

        // ---- IRIs and Nodes

        protected String resolveQuotedIRI(String iriStr, int line, int column) {
            iriStr = stripQuotes(iriStr);
            iriStr = unescapeUnicode(iriStr, line, column);
            // Check for Unicode surrogates
            checkString(iriStr, line, column);
            return resolveIRI(iriStr, line, column);
        }

        public static final String ParserLoggerName = "SPARQL";
        public static Logger parserLog = LoggerFactory.getLogger(ParserLoggerName);
        private static final ErrorHandler errorHandler = ErrorHandlerFactory.errorHandlerStd(parserLog);

        protected String resolveIRI(String iriStr, int line, int column) {
            if ( isBNodeIRI(iriStr) )
                return iriStr;
            if ( getPrologue() == null )
                return iriStr;
            if ( getPrologue().getBase() == null )
                return iriStr;
            IRIx irix = resolveIRIx(iriStr, line, column);
            return irix.toString();
        }

        private IRIx resolveIRIx(String iriStr, long line, long col) {
            // Aligns with ParserProfileStd.internalMakeIRI
            // Hard to do a meaning DRY because SPARQL works in strings
            // where as ParserProfile works in IRix.
            if ( iriStr.contains(" ") ) {
                // Specific check for spaces.
                errorHandler.warning("Bad IRI: <" + iriStr + "> Spaces are not legal in URIs/IRIs.", line, col);
                return IRIx.createAny(iriStr);
            }
            try {
                IRIx resolvedIRIx = getPrologue().getBase().resolve(iriStr);
                return resolvedIRIx;
            } catch (RelativeIRIException ex) {
                errorHandler.error("Relative IRI: " + iriStr, line, col);
                return IRIx.createAny(iriStr);
            } catch (IRIException ex) {
                // Same code as Checker.iriViolations
                String msg = ex.getMessage();
                Checker.iriViolationMessage(iriStr, true, msg, line, col, errorHandler);
                return IRIx.createAny(iriStr);
            }
        }

        protected String resolvePName(String prefixedName, int line, int column) {
            // It's legal.
            int idx = prefixedName.indexOf(':');

            // -- Escapes in local name
            String prefix = prefixedName.substring(0, idx);
            String local = prefixedName.substring(idx + 1);
            local = unescapePName(local, line, column);
            prefixedName = prefix + ":" + local;
            // --

            String s = getPrologue().expandPrefixedName(prefixedName);
            if ( s == null ) {
                if ( ARQ.isTrue(ARQ.fixupUndefinedPrefixes) )
                    return RiotLib.fixupPrefixes.apply(prefixedName);
                throwParseException("Unresolved prefixed name: " + prefixedName, line, column);
            }
            return s;
        }

        private boolean skolomizedBNodes = ARQ.isTrue(ARQ.constantBNodeLabels);

        protected Node createNode(String iri) {
            if ( skolomizedBNodes )
                return RiotLib.createIRIorBNode(iri);
            else
                return NodeFactory.createURI(iri);
        }

        protected boolean isBNodeIRI(String iri) {
            return skolomizedBNodes && RiotLib.isBNodeIRI(iri);
        }

        // -------- Basic Graph Patterns and Blank Node label scopes

        // A BasicGraphPattern is any sequence of TripleBlocks, separated by filters,
        // but not by other graph patterns.

        protected void startBasicGraphPattern() {
            activeLabelMap.clear();
        }

        protected void endBasicGraphPattern() {
            previousLabels.addAll(activeLabelMap.getLabels());
        }

        protected void startTriplesBlock() {}

        protected void endTriplesBlock() {}

        // On entry to a new group, the current BGP is ended.
        protected void startGroup(ElementGroup elg) {
            endBasicGraphPattern();
            startBasicGraphPattern();
        }

        protected void endGroup(ElementGroup elg) {
            endBasicGraphPattern();
        }

        // --------

        protected void checkConcrete(Node n, int line, int column) {
            if ( !n.isConcrete() )
                throwParseException("Term is not concrete: " + n, line, column);
        }

        // BNode from a list
    // protected Node createListNode()
    // { return listLabelMap.allocNode(); }

        protected Node createListNode(int line, int column) {
            return createBNode(line, column);
        }

        // Unlabelled bNode.
        protected Node createBNode(int line, int column) {
            if ( !bNodesAreAllowed )
                throwParseException("Blank nodes not allowed in DELETE templates", line, column);
            return activeLabelMap.allocNode();
        }

        // Labelled bNode.
        protected Node createBNode(String label, int line, int column) {
            if ( !bNodesAreAllowed )
                throwParseException("Blank nodes not allowed in DELETE templates: " + label, line, column);
            if ( previousLabels.contains(label) )
                throwParseException("Blank node label reuse not allowed at this point: " + label, line, column);

            // label = unescapeCodePoint(label, line, column);
            return activeLabelMap.asNode(label);
        }

        protected Node preConditionReifier(Node s, Node p, Path path, Node o, int line, int column) {
            if ( p != null )
                return p;
            if ( path instanceof P_Link )
                return ((P_Link)path).getNode();
            throwParseException("Only simple paths allowed with reifier syntax", line, column);
            return null;
        }

        protected Expr createExprExists(Element element) {
            return new E_Exists(element);
        }

        protected Expr createExprNotExists(Element element) {
            // Could negate here.
            return new E_NotExists(element);
        }

        // Convert a parser token, which includes the final ":", to a prefix name.
        protected String fixupPrefix(String prefix, int line, int column) {
            // \ u processing!
            if ( prefix.endsWith(":") )
                prefix = prefix.substring(0, prefix.length() - 1);
            return prefix;
        }

        protected void setAccGraph(QuadAccSink acc, Node gn) {
            acc.setGraph(gn);
        }

        protected void insert(TripleCollector acc, Node s, Node p, Node o) {
            acc.addTriple(Triple.create(s, p, o));
        }

        protected void insert(TripleCollectorMark acc, int index, Node s, Node p, Node o) {
            acc.addTriple(index, Triple.create(s, p, o));
        }

        protected void insert(TripleCollector acc, Node s, Node p, Path path, Node o) {
            if ( p == null )
                acc.addTriplePath(new TriplePath(s, path, o));
            else
                acc.addTriple(Triple.create(s, p, o));
        }

        protected void insert(TripleCollectorMark acc, int index, Node s, Node p, Path path, Node o) {
            if ( p == null )
                acc.addTriplePath(index, new TriplePath(s, path, o));
            else
                acc.addTriple(index, Triple.create(s, p, o));
        }

        protected void insert(TripleCollector target, ElementPathBlock source) {
            for ( TriplePath path : source.getPattern() ) {
                if ( path.isTriple() ) {
                    target.addTriple(path.asTriple());
                } else {
                    target.addTriplePath(path);
                }
            }
        }

        protected Node insertTripleReifier(TripleCollector acc, Node reifierId, Node s, Node p, Node o, int line, int column) {
            Node tripleTerm = createTripleTerm(s, p, o, line, column);
            if ( reifierId == null )
                reifierId = createBNode(line, column);
            Triple t = Triple.create(reifierId, nRDFreifies, tripleTerm);
            acc.addTriple(t);
            return reifierId;
        }

        private Node annotationReifierId = null;

        protected void setReifierId(Node reifId) {
            annotationReifierId = reifId;
        }

        protected Node getOrAllocReifierId(TripleCollector acc, Node s, Node p, Node o, int line, int column) {
            if ( annotationReifierId != null )
                return annotationReifierId;
            Node reifierId = createBNode(-1, -1);
            insertTripleReifier(acc, reifierId, s, p, o, line, column);
            return reifierId;
        }

        protected void clearReifierId() {
            annotationReifierId = null;
        }

        protected Expr asExpr(Node n) {
            return ExprLib.nodeToExpr(n);
        }

        // Makers of functions that need more than just a simple "new E_...".

        // IRI(rel)
        protected Expr makeFunction_IRI(Expr expr) {
            return new E_IRI(prologue.getBaseURI(), expr);
        }

        protected Expr makeFunction_URI(Expr expr) {
            return new E_URI(prologue.getBaseURI(), expr);
        }

        // IRI(base, rel) or IRI(rel, null)
        protected Expr makeFunction_IRI(Expr expr1, Expr expr2) {
            if ( expr2 == null )
                return makeFunction_IRI(expr1);
            return new E_IRI2(expr1, prologue.getBaseURI(), expr2);
        }

        protected Expr makeFunction_URI(Expr expr1, Expr expr2) {
            if ( expr2 == null )
                return makeFunction_URI(expr1);
            return new E_URI2(expr1, prologue.getBaseURI(), expr2);
        }

        // Create a E_BNode function.
        protected Expr makeFunction_BNode() {
            return E_BNode.create();
        }

        protected Expr makeFunction_BNode(Expr expr) {
            return E_BNode.create(expr);
        }

        // Utilities to remove escapes in strings.

        /* package-testing */ static String unescapeStr(String s) {
            return unescapeStr(s, -1, -1);
        }

        // Do we need the line/column versions?
        // Why not catch exceptions and convert to QueryParseException
        protected static String unescapeStr(String s, int line, int column) {
            return unescape(s, '\\', false, line, column);
        }

        /** Unescape unicode - no surrogate processing. */
        protected static String unescapeUnicode(String s, int line, int column) {
            return unescape(s, '\\', true, line, column);
        }

        // Worker function
        protected static String unescape(String s, char escape, boolean pointCodeOnly, int line, int column) {
            try {
                return EscapeStr.unescape(s, escape, pointCodeOnly);
            } catch (AtlasException ex) {
                throwParseException(ex.getMessage(), line, column);
                return null;
            }
        }

        protected static String unescapePName(String s, int line, int column) {
            char escape = '\\';
            int idx = s.indexOf(escape);

            if ( idx == -1 )
                return s;

            int len = s.length();
            StringBuilder sb = new StringBuilder();

            for ( int i = 0; i < len; i++ ) {
                char ch = s.charAt(i);
                // Keep line and column numbers.
                switch (ch) {
                    case '\n' :
                    case '\r' :
                        line++;
                        column = 1;
                        break;
                    default :
                        column++;
                        break;
                }

                if ( ch != escape ) {
                    sb.append(ch);
                    continue;
                }

                // Escape
                if ( i >= s.length() - 1 )
                    throwParseException("Illegal escape at end of string", line, column);
                char ch2 = s.charAt(i + 1);
                column = column + 1;
                i = i + 1;

                switch (ch2) {   // PN_LOCAL_ESC
                    case '_' :
                    case '~' :
                    case '.' :
                    case '-' :
                    case '!' :
                    case '$' :
                    case '&' :
                    case '\'' :
                    case '(' :
                    case ')' :
                    case '*' :
                    case '+' :
                    case ',' :
                    case ';' :
                    case '=' :
                    case ':' :
                    case '/' :
                    case '?' :
                    case '#' :
                    case '@' :
                    case '%' :
                        sb.append(ch2);
                        break;
                    default :
                        throwParseException("Illegal prefix name escape: " + ch2, line, column);
                }
            }
            return sb.toString();
        }

        protected void warnDeprecation(String msg) {
            Log.warn(this, msg);
        }

        public static void throwParseException(String msg, int line, int column) {
            throw new QueryParseException("Line " + line + ", column " + column + ": " + msg, line, column);
        }

        public static void throwParseException(String msg) {
            throw new QueryParseException(msg, -1, -1);
        }
    }

    /** Class that has all the parse event operations and other query/update specific things */
    static class SPARQLParserBase extends QueryParserBase {
        private Deque<Query> stack = new ArrayDeque<>();
        protected Query query;

        protected SPARQLParserBase() {}

        public void setQuery(Query q) {
            query = q;
            setPrologue(q);
        }

        public Query getQuery() { return query; }

        // The ARQ parser is both query and update languages.

//        // ---- SPARQL/Update (Submission)
//        private UpdateRequest requestSubmission = null;
    //
//        protected UpdateRequest getUpdateRequestSubmission() { return requestSubmission; }
//        public void setUpdateRequest(UpdateRequest request)
//        {
//            setPrologue(request);
//            this.requestSubmission = request;
//            // And create a query because we may have nested selects.
//            this.query = new Query ();
//        }

        private UpdateSink sink = null;

        // Places to push settings across points where we reset.
        private boolean oldBNodesAreVariables;
        private boolean oldBNodesAreAllowed;

        // Count of subSelect nesting.
        // Level 0 is top level.
        // Level -1 is not in a pattern WHERE clause.
        private int queryLevel = -1;
        private Deque<Set<String>>    stackPreviousLabels = new ArrayDeque<>();
        private Deque<LabelToNodeMap> stackCurrentLabels = new ArrayDeque<>();

        public void setUpdate(Prologue prologue, UpdateSink sink) {
            this.sink = sink;
            this.query = new Query();
            setPrologue(prologue);
        }

        // Signal start/finish of units

        protected void startQuery() {}
        protected void finishQuery() {
            query.ensureResultVars();
        }

        protected void startUpdateRequest()    {}
        protected void finishUpdateRequest()   {}

//        protected void startBasicGraphPattern()
//        { activeLabelMap.clear(); }
    //
//        protected void endBasicGraphPattern()
//        { oldLabels.addAll(activeLabelMap.getLabels()); }

        protected void startUpdateOperation()  {}
        protected void finishUpdateOperation() {}

        protected void startModifyUpdate()     { }
        protected void finishModifyUpdate()    { }

        protected void startDataInsert(QuadDataAccSink qd, int line, int col) {
            oldBNodesAreVariables = getBNodesAreVariables();
            setBNodesAreVariables(false);
            activeLabelMap.clear();
        }

        protected void finishDataInsert(QuadDataAccSink qd, int line, int col) {
            previousLabels.addAll(activeLabelMap.getLabels());
            activeLabelMap.clear();
            setBNodesAreVariables(oldBNodesAreVariables);
        }

        protected void startDataDelete(QuadDataAccSink qd, int line, int col) {
            oldBNodesAreAllowed = getBNodesAreAllowed();
            setBNodesAreAllowed(false);
        }

        protected void finishDataDelete(QuadDataAccSink qd, int line, int col) {
            setBNodesAreAllowed(oldBNodesAreAllowed);
        }

        // These can be nested with subSELECTs but subSELECTs share bNodeLabel state.
        protected void startWherePattern() {
            queryLevel += 1;
            if ( queryLevel == 0 ) {
                pushLabelState();
                clearLabelState();
            }
        }

        protected void finishWherePattern() {
            if ( queryLevel == 0 )
                popLabelState();
            queryLevel -= 1;
        }

        // This holds the accumulation of labels from earlier INSERT DATA
        // across template creation (bNode in templates get cloned before
        // going into the data).

        protected void startInsertTemplate(QuadAcc qd, int line, int col) {
            oldBNodesAreVariables = getBNodesAreVariables();
            setBNodesAreVariables(false);
            pushLabelState();
        }

        protected void finishInsertTemplate(QuadAcc qd, int line, int col) {
            // Restore accumulated labels.
            popLabelState();
            // This also set the bnode syntax to node functionality - must be after
            // popLabelState.
            setBNodesAreVariables(oldBNodesAreVariables);
        }

        // No bNodes in delete templates.
        protected void startDeleteTemplate(QuadAcc qd, int line, int col) {
            oldBNodesAreAllowed = getBNodesAreAllowed();
            setBNodesAreAllowed(false);
        }

        protected void finishDeleteTemplate(QuadAcc qd, int line, int col) {
            setBNodesAreAllowed(oldBNodesAreAllowed);
        }

        protected void emitUpdate(Update update) {
            // The parser can send null if it already performed an INSERT_DATA or
            // DELETE_DATA
            if ( null != update ) {
                // Verify each operation
                verifyUpdate(update);
                sink.send(update);
            }
        }

        private static UpdateVisitor v = new UpdateVisitorBase() {
            @Override
            public void visit(UpdateModify mod) {
                SyntaxVarScope.checkElement(mod.getWherePattern());
            }
        };

        private void verifyUpdate(Update update) {
            update.visit(v);
        }

        protected QuadDataAccSink createInsertDataSink() {
            return sink.createInsertDataSink();
        }

        protected QuadDataAccSink createDeleteDataSink() {
            return sink.createDeleteDataSink();
        }

        protected void pushQuery() {
            if ( query == null )
                throw new ARQInternalErrorException("Parser query object is null");
            stack.push(query);
        }

        protected void startSubSelect(int line, int col) {
            pushQuery();
            query = newSubQuery(getPrologue());
        }

        protected Query newSubQuery(Prologue progloue) {
            // The parser uses the same prologue throughout the parsing process.
            Query subQuery = new Query();
            subQuery.setSyntax(query.getSyntax());
            return subQuery;
        }

        protected void popQuery() {
            query = stack.pop();
        }

        protected Query endSubSelect(int line, int column) {
            Query subQuery = query;
            if ( ! subQuery.isSelectType() )
                throwParseException("Subquery not a SELECT query", line, column);
            // Sort out SELECT *
            subQuery.ensureResultVars();
            popQuery();
            return subQuery;
        }

        private List<Var> variables = null;
        private List<Binding> values = null;
        private BindingBuilder rowBuilder;
        private int currentColumn = -1;

        // Trailing VALUES.
        protected void startValuesClause(int line, int col) {
            variables = new ArrayList<>();
            values = new ArrayList<>();
            rowBuilder = Binding.builder();
        }

        protected void finishValuesClause(int line, int col)
        {
            getQuery().setValuesDataBlock(variables, values);
        }

        // ElementData. VALUES in the WHERE clause.
        protected void startInlineData(List<Var> vars, List<Binding> rows, int line, int col) {
            variables = vars;
            values = rows;
            rowBuilder = Binding.builder();
        }

        protected void finishInlineData(int line, int col)
        {}

        protected void emitDataBlockVariable(Var v)                     { variables.add(v); }

        protected void startDataBlockValueRow(int line, int col) {
            rowBuilder.reset();
            currentColumn = -1;
        }

        protected void emitDataBlockValue(Node n, int line, int col) {
            currentColumn++;

            if ( currentColumn >= variables.size() )
                // Exception will be thrown later when we have the complete row count.
                return;

            Var v = variables.get(currentColumn);
            if ( n != null && ! n.isConcrete() ) {
                String msg = QueryParseException.formatMessage("Term is not concrete: "+n, line, col);
                throw new QueryParseException(msg, line, col);
            }
            if ( n != null )
                rowBuilder.add(v, n);
        }

        protected void finishDataBlockValueRow(int line, int col) {
            //if ( variables.size() != currentValueRow().size() )
            if ( currentColumn+1 != variables.size() )
            {
                String msg = String.format("Mismatch: %d variables but %d values",variables.size(), currentColumn+1);
                msg = QueryParseException.formatMessage(msg, line, col);
                throw new QueryParseException(msg, line , col);
            }
            values.add(rowBuilder.build());
        }

        private void pushLabelState() {
            // Hide used labels already tracked.
            stackPreviousLabels.push(previousLabels);
            stackCurrentLabels.push(activeLabelMap);
            previousLabels = new HashSet<>();
            activeLabelMap.clear();
        }

        private void popLabelState() {
            previousLabels = stackPreviousLabels.pop();
            activeLabelMap = stackCurrentLabels.pop();
        }

        private void clearLabelState() {
            activeLabelMap.clear();
            previousLabels.clear();
        }
    }

}
